Reduce 0 THEN Auto THEN RWO "cons\_member" ({-}1) THENA Auto \\[0ex]THEN D ({-}1)